Tipo de dato abstracto

Mira otros diccionarios:

• Tipo de dato abstracto — Un tipo de dato abstracto (TDA) o Tipo abstracto de datos (TAD) es un modelo matemático compuesto por una colección de operaciones definidas sobre un conjunto de datos para el modelo. Contenido 1 Introducción 2 Historia 3 Definición …   Wikipedia Español

• Tipo de dato — Informático es un atributo de una parte de los datos que indica al ordenador (y/o al programador) algo sobre la clase de datos sobre los que se va a procesar. Esto incluye imponer restricciones en los datos, como qué valores pueden tomar y qué… …   Wikipedia Español

• Tipo de dato algebraico — En matemáticas discretas es usual introducir definiciones de estructuras recursivas dando los casos de definición y un axioma de clausura indicando que ninguna otra cosa forma parte de lo definido. Por ejemplo, los árboles con información en los… …   Wikipedia Español

• Abstracto — puede referirse a: lo relativo a la abstracción (término polisémico) No debe confundirse con abstract. Contenido 1 Arte 2 Informática 3 Gramática …   Wikipedia Español

• Tipo abstracto — Este artículo trata sobre tipos sin miembros directos; ver también Tipo de dato abstracto. En ingeniería de software, un tipo abstracto es un tipo en un sistema de tipo nominativo que es declarado por el programador, y que tiene la propiedad de… …   Wikipedia Español

• Cáracter (tipo de dato) — Para otros usos de este término, véase Carácter. En terminología informática y de telecomunicaciones, un carácter es una unidad de información que corresponde aproximadamente con un grafema o con una unidad o símbolo parecido, como los de un… …   Wikipedia Español

• Signatura (informática) — La signatura o firma de un método o una función define su entrada y su salida. Incluye por lo menos el nombre de la función o método y el número de sus parámetros. En algunos lenguajes de programación, puede incluir el tipo que devuelve la… …   Wikipedia Español

• LCF — Este artículo o sección necesita referencias que aparezcan en una publicación acreditada, como revistas especializadas, monografías, prensa diaria o páginas de Internet fidedignas. Puedes añadirlas así o avisar al …   Wikipedia Español

• LCF — es un demostrador de teoremas interactivo desarrollado en la Universidad de Edimburgo y la Universidad de Stanford por Robin Milner y otros. LCF introdujo el lenguaje de programación ML para permitir al usuario escribir tácticas de demostración.… …   Enciclopedia Universal

• Programación modular — Saltar a navegación, búsqueda La programación modular es un paradigma de programación que consiste en dividir un programa en módulos o subprogramas con el fin de hacerlo más legible y manejable. Se presenta históricamente como una evolución de la …   Wikipedia Español